// ${DIRECTION:Down}

type U =
    | A{caret}
    | B of int
